This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical ...